Two-Buffer Simulation Games
نویسندگان
چکیده
We consider simulation games played between Spoiler and Duplicator on two Büchi automata in which the choices made by Spoiler can be buffered by Duplicator in two different buffers before she executes them on her structure. Previous work on such games using a single buffer has shown that they are useful to approximate language inclusion problems. We study the decidability and complexity and show that games with two buffers can be used to approximate corresponding problems on finite transducers, i.e. the inclusion problem for rational relations over infinite words.
منابع مشابه
Buffered Simulation Games for Büchi Automata
Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordinary simulations have been studied, for instance multi-pebble and multi-letter simulations which yield better approximations and are still polynomial-time computable. In this paper we study the limitations of approxima...
متن کاملMulti-Buffer Simulations for Trace Language Inclusion
We consider simulation games played between Spoiler and Duplicator on two Büchi automata in which the choices made by Spoiler can be buffered by Duplicator in several buffers before she executes them on her structure. We show that the simulation games are useful to approximate the inclusion of trace closures of languages accepted by finite-state automata, which is known to be undecidable. We st...
متن کاملAdaptive policy of buffer allocation and preventive maintenance actions in unreliable production lines
The buffer allocation problem is an NP-hard combinatorial optimization problem, and it is an important design problem in manufacturing systems. The research proposed in this paper concerns a product line consisting of n unreliable machines with n − 1 buffers and a preventive maintenance policy. The focus of the research is to obtain a better trade-off between the buffer level ...
متن کاملConsequence of doping in spatiotemporal rock-paper-scissors games
What determines species diversity is dramatic concern in science. Here we report the effect of doping on diversity in spatiotemporal rock-paper-scissors (RPS) games, which can be observed directly in ecological, biological and social systems in nature. Doping means that there exists some buffer patches which do not involve the main procession of the conflicts but occupied the game space. Quanti...
متن کاملکاربردهای محیط مجازی در حوزه سلامت
Introduction: Virtual reality was posed coinciding technology developing, creating user-interfaces, high-speed processing and powerful graphic. Virtual reality technology and video games can participate in providing health care with creating simulated, motivational, interactive and realistic environments. Integrating virtual simulation with video games has been proven in creating motivation and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016